Microsoft: Ballmer abandonará puesto de jefe ejecutivo