Share of non-US citizens in the Current Population Survey