Three Essays in Optimal Tax Enforcement Theory