Libyan official: 9 fighters killed in battle to take IS city