Ohio workers face precedent-setting pension and retiree health cuts