Optimal Income Taxation with Present Bias