Texas Instruments to buy Micron's Utah factory for $900 mill