A former CIA analyst explains how tech companies can help fight terrorism