Why is Python’s OrderedDict ordered?