randomly forced Navier-Stokes equations, a priori estimates, stationary measure, ergodicity, exponential mixing