Previsione probabilistica dei tempi e dei costi di scavo di gallerie in masse rocciose con eterogeneità localizzate