Identification of tryptic peptides from large databases using multiplexed tandem mass spectrometry: simulations and experimental results | Synapse