Military spending and innovation