Welfare Costs of Inflation and the Circulation of US Currency Abroad