Prediction and measurement of rock tunnel displacements (Research Report; 317, 1978)