Non-linear arrival time inversion: constraining velocity anomalies by seeking smooth models in 3-D | Synapse