“Automated weapons could trigger an escalatory loss-of-control spiral through a cascade of automated responses and war planning, potentially involving human troops.”