Reproducible Analysis of Post-Translational Modifications in Proteomes—Application to Human Mutations