Restoration of historic timber structures: The great roof structures of the Cathedral of Vercelli