China: Exterminate! Robots rolled out to rid Shenzhen of traffic queues