Oklahoma carries out first execution since botched lethal injection in April