Immigration, Skill Mix, and the Choice of Technique