Optimal Income Taxation Theory and Principles of Fairness