Bellman Equations Associated to The Optimal Feedback Control of Stochastic Navier-Stokes Equations