A Key Executive Is Leaving Microsoft