Probabilistic concepts applied to tunnel design and construction