An econometric implementation of Mirrlees' theory of optimal taxation