US Commerce Dept. grants Samsung $6.4 billion for Texas chip plants