US formally pulls out of Open Skies Treaty