Human-in-the-Loop Segmentation of Multi-species Coral Imagery