what is polymer cement grinding mill