geodetic measuring tool Synonyms