IBM разработает для Петербурга систему «Умный город» — Петербургский формат