The US military should ban AI from use-of-force decisions