An introduction to pipe jacking and microtunnelling design (Pipe Jacking Association, 1995)