Optimal Taxation with Homeownership and Wealth Inequality