Algeria says top militant killed