Operating system market revenue worldwide from 2016 to 2031