Spatial variability of karst and effect on tunnel lining and water inflow. A probabilistic approach. (March 2020)