Probability Models for DNA Sequence Evolution