John Dixon, Texas Instruments