Modellazione numerica avanzata dello scavo di gallerie urbane in interazione con edifici esistenti