what is the mining process of copper