Probabilistic scoring measures for profile–profilecomparison yield more accurate short seed alignments | Synapse