Nadella's first five years as Microsoft's CEO: Pragmatism is the watchword