Progressive Taxation in Theory and Practice