竖亥测量大地