Optimal tax progressivity in imperfect labour markets · Study