How does the devaluation of a currency reduce or increase a trade deficit? Can you give a real world example?