Digital height gauge