A numerically exact local solver applied to salt boundary inversion in seismic full-waveform inversion. Issue 3 (1st February 2016)