ProbID: A probabilistic algorithm to identify peptides through sequence database searching using tandem mass spectral data | Synapse