Microsoft's newest deal uses AI to untangle nuclear red tape