equipments used in coal mining in johannesburg south africa