High-field asymmetric waveform ion mobility spectrometry