A Statistically Based Methodology to Estimate the Probability of Encountering Rock Blocks When Tunneling in Heterogeneous Ground