The size of the undocumented workforce is shrinking in the US