Государственная корпорация "Ростех"; Государственная корпорация по содействию разработке, производству и экспорту высокотехнологичной промышленной продукции "Ростех"