General Electric покупает облачную компанию ServiceMax для развития сервисного бизнеса