Housing policy and the progressivity of income taxation