The internals of Python string interning