Gartner: sistemi operativi oltre il traguardo dei 30 miliardi di dollari