A Peptidoform Matching Strategy in Bottom-Up Proteomics for Studying Functions of Post-Translational Modifications