Terms of trade, productivity, and the real exchange rate