Four US companies will develop artificial intelligence for the military