in ball mill function of gear oil pump