tools and machinery used in coal mining