[firedrake] Interfacing directly with PETSc