Виртуальные машины: названия и особенности популярных платформ