ball mill used in copper ore