Military artificial intelligence systems can target and kill individuals without human verification