Colombia’s government and ELN agree release of 9 officials held by guerrillas