David Silvester's EPSRC projects: Incompressible Navier-Stokes Equations