PTMselect: optimization of protein modifications discovery by mass spectrometry