MARIO: A Mixed Annotation Framework For Polyp Segmentation