What is the opportunity cost (in civilian output) of a defense buildup that raises military spending from 3.7 to 3.9 percent of a $27 trillion economy?