operation of a grinding mill