Valuation ring of a valuation