If the taxes levied are not paid as provided in NRS 543.170 to 543.830, inclusive, the property subject to the tax lien must be sold and the proceeds thereof must be paid over to the district according to the provisions of the laws applicable to tax sales and redemptions.