Export Dynamics in Large Devaluations1