Algorithmic Fairness and Vertical Equity: Income Fairness with IRS Tax Audit Models