FARC has halved in size over 8 to 9 years: Army