what is the process of mining copper