Title: Mathematical Astronomy in Copernicus' De Revolutionibus