Removing barriers to internal migration can boost a country’s productivity, albeit modestly and with heterogonous effects on original populations