How people discovered the shape of the Earth