home > > fuel used by mining industries