Variational algorithms for analysis and assimilation of meteorological observations: theoretical aspects | Synapse