Nearly 100 tech companies have filed a court document opposing Trump’s immigration ban