the process of how copper is mined