Ballmer bets on the cloud