“The world will need to mine 700 million tons of copper over the next 18 years, an amount equal to all the copper mined in the last 10,000 years, just to keep pace with GDP growth.”