Non-parametric Bayesian approach to post-translational modification refinement of predictions from tandem mass spectrometry.