fuel used by mining industries