SCOPE: a probabilistic model for scoring tandem mass spectra against a peptide database | Synapse