Randomness in Tax Enforcement