Military Applications of Artificial Intelligence