Coherent Preferences, Existence of an Ordering Extension, and the Rationalizability of Choice Functions