VERTICAL EXTERNALITIES WITH LUMP-SUM TAXES: HOW MUCH DIFFERENCE DOES UNEMPLOYMENT MAKE?