Taxing Fairly; Spending Justly – Models for Truly Progressive Taxation