Effect of grinding media properties and stirrer tip speed on the grinding efficiency of a stirred mill