Lessons for the euro transition from UK Decimalization in 1971