Convergent least-squares optimization methods for variational data assimilation | Synapse