世界パブリッククラウドサービス市場、2019年は17.5%増に–ガートナー