Valuation theory of o-minimal structures