Aspects of the formulation and finite element implementation of large strain isotropic elasticity