Accuracy of semiGLS stabilization of FEM for solving Navier–Stokes equations and a posteriori error estimates