The roofing systems of Verona cathedral (twelfth-sixteenth centuries) : construction phases, restorations, dendrochronology, and architectural framework