Сколько сквозных технологий было выделено в рамках национального проекта “Цифровая экономика”? 5, 6, 7, 9