definition of grinding mill in mechanics