[firedrake] Pressure outlet boundary condition in plane poiseuille flow