what machines are used to mine copper