copper ore is mined and crushed