Ohio executes man who fatally stabbed teen in 1985