Oklahoma executes death row inmate Benjamin Cole