is copper removed from the earth in a rock quarry or a mine