Optimal Redistributive Taxation in a Search Equilibrium Model | Synapse