Mali: army clashes with al-Qaeda militia?