Copper demand, supply, and associated energy use to 2050