Comparing the growth effects of marginal vs. average tax rates and progressivity