Cease-fire reached to end Colombia's decades-long war