Syrian intelligence takes out high-ranking ISIS leader in Deraa