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