amount of ore used in industry for copper production