Role of a hairpin-stabilized pause in the Escherichia coli thiC riboswitch function