Variational assimilation of remotely-sensed observations of the atmosphere