El gobierno de Colombia y la guerrilla del ELN inician formalmente proceso de paz