Algerian troops kill more militants in major assault, 25 dead in total