South African diamond mining company says 5 trapped miners presumed dead and files for liquidation