Estimating probabilities of correct identification from results of mass spectral library searches | Synapse