what equipment are used to mine copper