an instrument that measures the height above ground; used in navigation