Gartner Says Worldwide Semiconductor Revenue to Reach $400 Billion in 2017