extraction of copper in mining