equipments and machinery in coal mining