equipments used coal mining johannesburg south africa