a mill is used for grinding