tools and equipment in coal mines