machine used to mine copper ore