Text this: The logical strength of B\"uchi's decidability theorem