Texas Instruments to build $3.1 billion manufacturing plant in ...