[firedrake] Simplest way to access cell2vertex array from mesh