Chadian troops enter Nigeria to battle Boko Haram