A large-scale framework for symbolic implementations of seismic inversion algorithms in Julia Article in Geophysics (May 2019)