L’uso dell’analisi dinamica non lineare (time-history) nella progettazione degli edifici alti