第一个测出地球周长的人是谁 什么时候测出的