The optimal inflation tax in the presence of currency substitution · Study