mill used in ore processing