Text this: Long-term stability estimates and existence of a global attractor in a finite element approximation of the Navier-Stokes equations with numerical subgrid scale modeling.