Cinco de Mayo gives economic boost to East Texas restaurants