What is the federal budget for military vs education? Which one increases and which one decreases most of the time?