Union wage setting and progressive income taxation with heterogeneous labor: theory and evidence from the German income tax reforms 1986–1990