protein sequencing by mass spectrometry