[firedrake] Boundary IDs on extruded meshes