Кто такие Эдик, Вася и Миша? История аббревиатуры ЭВМ