Modeling the History of Astronomy: Ptolemy, Copernicus, and Tycho