Formula for predicting ground settlement induced by tunnelling based on Gaussian function. (September 2020)