On ordered skew fields