Samsung will get $6.4 billion in U.S. funding for chipmaking facilities in Texas