server operating system market forecast