Islamic State conflict: 10,000 militants killed in nine months