definition definition cement vertical mill