what is a cement mill and cement grinding plant