La Gran Guglia del Duomo di Milano: analisi, modellazione e verifica