A work-efficient GPU algorithm for level set segmentation