Steve Ballmer data mines the government.