Semi-analytical model for umbrella arch systems employed in squeezing ground conditions. (June 2016)