Samsung is more than doubling its Texas chip investment.