Can a rapidly growing export-oriented economy exit smoothly from a currency peg? Lessons from Japan’s high-growth era