Implicit methods for the Navier-Stokes equations