equipments used in coal mining industry