Large-Scale Analysis of Peptide Sequence Variants: The Case for High-Field Asymmetric Waveform Ion Mobility Spectrometry