what equipment is used to mine copper