Pipe jacking : a state-of-the-art review - Craig, R. N. (CIRIA technical note, 1983)