[firedrake] simulation of incompressible Navier-Stokes equation using Firedrake