How much of their capital gain income (profit from selling the house at a higher price than the original purchase price) is taxed according to the us tax system?