The Duomo of Milan: Some recent interventions on the main spire and on the tiburio vaults