Title: The optimal mix of taxes on money, consumption and income