Algerian troops kill seven militants near Tunisian frontier