Archimedes on the dimensions of the cosmos