SDF erklærer formelt seier over IS i Raqqa