Copper mining and refining