The military wants AI to replace human decision-making in battle