Григоренко: выручка IT-компаний в России за полугодие выросла до 5,5 трлн рублей