Urban external economies and optimal migration.