精密高度仪、高度尺