世界パブリッククラウド売上高、2020年は17%増–ガートナー