what are equipment used by mining