Algeria: Senior al Qaeda leader killed