Is Ballmer's Retirement a Prelude to a Microsoft Split-Up?