Rfold: an exact algorithm for computing local base pairing probabilities | Synapse