How is the tail recursion optimization mechanism in Python implemented? Why did Guido van Rossum fundamentally refuse its implementation and what consequences does this have for the call stack?