Measuring the depth of a hole