Association Mapping of Complex Diseases with Ancestral Recombination Graphs: Models and Efficient Algorithms