Steve Ballmer visita Brasil em outubro