Title: Formal Model of Optimum Currency Areas