method used to mine copper