世界上第一个测出地球周长的人是谁