Algerian army kills top al-Qaeda operative for Africa