Predicting molecular formulas of fragment ions with isotope patterns in tandem mass spectra | Synapse