server operating system market growth