5 things to know about Ohio’s sales tax holiday, which starts today