Optimal tax progressivity : an analytical framework /