Who will succeed Steve Ballmer at Microsoft?

Potential successors abound from inside the company and out, including Sheryl Sandberg, Kevin Johnson and Stephen Elop.