Are there somewhere market share statistics available for desktop and mobile operating systems combined? The separation between desktop and mobile devices feels a bit outdated. How does Windows relate to Android or iOS, for example?