Nine gang members killed in army operation in El Salvador