Non-Commutative Valuation Rings and Semi-Hereditary Orders