If you add the three largest expenditures in the federal budget for 2012, how much of the budget did they make up?