ball mill in cement manufacture mining