Finite Element Methods and Navier-Stokes Equations