the process of mining copper