Is Ozzie's Exit Good or Bad for Microsoft in Cloud Race?