The U.S. military, algorithmic warfare, and big tech