Convergence of three iterative methods based on the finite element discretization for the stationary Navier–Stokes equations☆