production process of mining copper