Should Retirees Buy Vacation Homes?