[firedrake] Mesh refinement