[firedrake] Applying Dirichlet Boundary conditions in certain regions