Spy agencies have high hopes for AI