The international copper industry