operating system market share 2013