Military use of artificial intelligence