selected publications academic article Berg Bock Freeway Tunnel: Optimizing the Heading Technique And the Operational Safety For the Tunnel Built By the Shotcrete Method (2003) 2003