Approximation and optimal control of the stochastic Navier-Stokes equation