Satya Nadella, Microsoft’s next CEO.