Steve Ballmer serves up a data trove about government spending in the US