Devaluation, national output and the trade balance: Some evidence from Colombia