Computing and the Military's connections