definition of cement ball mill in chemistry