A graph-theoretic approach for the separation of b and y ions in tandem mass spectra