mining methods used to mine copper