«Ростелеком» получил 812 млн рублей на развитие госинформсистем