Finite Element Approximation of the Navier-Stokes Equations