Inferring the Ancestral Recombination Graph