La cupola di Santa Maria del Fiore. Il cantiere di restauro 1980-1995