Decarbonization in the mining industry