Inside the race to restore Notre Dame in time for 2024 Paris Olympics