Mathematical Models of Ancestral Genome Reconstruction