Premiers raids russes sur Raqqa, bastion du groupe Etat islamique