Как в ЭК (АО «НИИАС») обозначаются пассажирские электровозы постоянного тока ОКТ?