Residue field of a valuation