Heterogeneous Firms and Imperfect Substitution: The Productivity Effect of Migrants