abolishment of the death penalty in Ohio