Which data structure is used to implement undo functionality in text editors?