Optimal Taxation in a Monetary Search Model with Informal Markets