Data-swamped US spy agencies put hopes on artificial intelligence