9 Chadian soldiers killed in Boko Haram ambush