Details of the overall United States intelligence budget are classified. How much money was spent on non-military intelligence in 2013