server operating system market size