Texas Instruments prices $2.0 billion of investment grade notes