Microsoft’s great quarter suggests its next CEO should be Steve Ballmer