High-field asymmetric waveform ion mobility spectrometry for mass spectrometry-based proteomics