tools for pper ore mining