Ballmer: Windows 8 su oltre 500 milioni di PC entro il 2013