Ohio OKs 3.9% cut to private-employer workers' comp premiums