what is a vibrating grinding mill used for