Gartner Says Worldwide Server Revenue Declined 2.3 Percent in the First Quarter of 2016, While Shipments Increased 1.7 Percent