Finite element approximations of the Navier-Stokes equations