ball mill in the manufacture of cement manufacture