Texas sales tax holiday set for Aug. 5-7