equipment used to mine copper