How Earth's size was computed by Eratosthenes