How Copernicus took down Ptolemy's Almagest