The Design of a Tax Rule for Owner-Occuped Housing Under a Personal Consumption Tax