Скільки коштувала місту заміна застосунку Kyiv Smart City на «Київ Цифровий»?