Algerian troops kill nine Islamist militants east of Algiers