Операционные компании «Домодедово» перешли в собственность «Шереметьево»