Dialog o dveh glavnih sistemih sveta, ptolemajskem in kopernikanskem