meaning of word grinding mills