Satya Nadella replaces Bob Muglia as president of Microsoft's Server and Tools Business