Texas Instruments buys National Semiconductor for $6.5B