测出金字塔高度的科学家是谁