https://1library.net/document/y8r67nwq-optimal-non-linear-income-taxation-in-search-equilibrium.html