US to provide $6.4B direct funding to Samsung for chip production in Texas