the the process of mining copper