Implementing Tail Recursion in Python