Here’s how much the US has spent fighting terrorism since 9/11