principle and practice of vertical mill