ball mill used for gold mining ore mining