Question about real estate tax deduction for mortgage