grinding theory of vertical mills