The efficient side of progressive income taxation - Corneo, Giacomo 1963- (CESifo, 2000)