Pattern-based algorithm for peptide sequencing from tandem high energy collision-induced dissociation mass spectra | Synapse