Quasi-optimal and pressure-robust discretizations of the stokes equations by new augmented Lagrangian formulations