tools for copper ore mining