Comparing the Growth Effects of Marginal and Average Tax Pressure and of Tax progressivity