U.S. companies aren’t trying to hire as many foreign tech workers since Trump’s election