definition cement vertical mill