Kurds launch battle to retake Iraqi town of Sinjar from IS