Recent development of graph connectivity augmentation algorithms