Microsoft Makes Nadella CEO Hire Official