Microsoft in the post-Sinofsky era: What's next?