Перевод россиян на мобильную ОС от «Ростелекома» обойдется в полтриллиона