Federal Research Investment and Innovation in Information Technology: A Virtuous Cycle