Geodézia története