[firedrake] Mixed formulation for incompressible hyperelasticity