9 FARC members killed in Cauca: Santos