equipments used for coal mining in south africa