Few would dream that mines and smelters take up to a tenth of all the energy used each year, or that the waste left by mining measures in the billions of tons - dwarfing the world's total accumulation of more familiar kinds of waste, such as municipal garbage.