Immigration projected to make the US $7 trillion richer: Congressional Budget Office