A finite element method for Navier-Stokes equations