Dynamic Optimal Income Taxation with Government Commitment