Buc-ee's closing Texas location to be rebranded as 7-Eleven