What we know about U.S.-Saudi nuclear pact, which Trump says hinges on normalizing Israeli relations