Export Growth and Aggregate Dynamics in Large Devaluations∗