Geodezja - historia geodezji