Boundary layers in incompressible Navier-Stokes equations with Navier boundary conditions for the vanishing viscosity limit