The vanishing viscosity limit for the Navier-Stokes equations with a Navier slip boundary condition