operating system market