Welfare Implications of Currency Integration: Labor Mobility and Pricing-to-Market