Here's how intelligence agencies can search foreign documents without learning the language