equipments used in south african coal mines in south africa