Астрономы какой обсерватории на основе непосредственных измерений земной поверхности определили длину окружности Земли?