AI vs. the Pentagon: killer robots, mass surveillance, and red lines