autograd automatic-differentiation dolfin-adjoint domain-specific-language firedrake machine-learning neural-network-based-regularizer partial-differential-equations seismic-inversion ufl