use of ball mill in cement