A perspective on the theoretical and numerical aspects of Ion Mobility Spectrometry