The U.S. military is preparing for the age of AI and algorithmic warfare, and it’s getting help from tech giants like Facebook, Google, and Microsoft.