Gravar-mail: Modeling Mass Spectrometry Based Protein Analysis