Texas sales tax collections went up in July — and were higher than one year ago