Siria ataca "posiciones fortificadas" y "túneles" usados por Estado Islámico al sur de Damasco