Historija geodezije