tools and equipment in mining