Pressure effects on resolution in ion mobility spectrometry