tools and equipment use by mining