who figured out the circumference of the earth