Studies of protein post-translational modifications using high resolution tandem mass spectrometry