How many people have received a US green card?