The actual and estimated industry revenue of semiconductors and related device manufacturing in the U.S. from 2012 to 2024 (in billion U.S. dollars).