RankSEG: A Consistent Ranking-based Framework for Segmentation. - Ben Dai; Chunlin Li (Journal of Machine Learning Research, 2023)