Vertical externalities with lump-sum taxes: how much difference does unemployment make? · Study