discrete valuation ring