State-constrained optimal control of the three-dimensional stationary Navier-Stokes equations