VK, Яндекс, Сбер и Ростелеком объединяются для разработки российской мобильной операционной системы