What Russia’s exit means for the Open Skies Treaty