$44 billion bet on Texas: Samsung to double down on US chip production