Violence between Colombia’s state and FARC rebels formally ends after 52-year war