Assimilation of Stratospheric Chemical Tracer Observations Using a Kalman Filter. Part I: Formulation | Synapse