Miccai 2013 segmentation algorithms, theory and applications (SATA) challenge results summary