Bill to repeal death penalty introduced in Ohio House