Estado Islâmico ataca posições sírias em Petra, província de Damasco