Texas Instruments is selling its Spring Creek campus in Plano