Mathematical Astronomy in Copernicus’ De Revolutionibus