Gartner发布2020Q1服务器数据,这个中国企业实现全球唯一两位数增长