Do immigrants affect the profile of U.S. exporters?