The mortgage interest deduction, explained