Navier–Stokes equations with Navier boundary condition