A geologist is measuring the height of rocks in a mine.