Nine killed in clashes between Islamic State and other militants in eastern Libya