Gravar-mail: Random walks based multi-image segmentation: Quasiconvexity results and GPU-based solutions