Stephen Elop is an internal CEO candidate: Steve Ballmer