Microsoft CEO Steve Ballmer to retire