Efficient marginalization to compute protein posterior probabilities from shotgun mass spectrometry data.