equipments used at a coal mine