Using satellite data assimilation techniques to combine infrasound observations and a full ray-tracing model to constrain stratospheric variables | Synapse