Derivation of an Analytical Model for Trapped Ion Mobility Spectrometry