Human-machine integration for vessel segmentation