The Ancestral Recombination Graph