Invia SMS: Finite element methods for the incompressible Navier-Stokes equations