Domestic AI will help Kazan authorities maintain order on the streets.