Turkish warplanes strike Kurdish militants in Syria, Iraq’s Sinjar