Probability Models For Dna Sequence Evolution