Heights in geodesy