Cerrejon coal miners sign agreement ending month long strike