Chadian air force, ground troops bomb Boko Haram out of Nigerian border town; witnesses say