[firedrake] Projecting a small piece of data set onto a larger one