Algorithmic Study on Mass Spectrometry and Proteomics: Methods for Proteomic Mass Spectrometry Data Analysis