How Eratosthenes Deduced the Size of the Earth