Immigration Restriction as Redistributive Taxation