“If the U.S. doubled its total immigration and prioritized bringing in new workers, it could add more than half a percentage point a year to expected GDP growth.”