A drone-based framework for coral habitat mapping via weakly supervised segmentation