copper mining and processing processing of copper ores