m carbon used in mining