A semi-smooth Newton method for control constrained boundary optimal control of the Navier–Stokes equations