Why Trump’s travel ban is so harmful to the tech economy