Dolfin-adjoint, automated adjoint models for FEniCS