Framework for Automatic Coral Reef Extraction Using Sentinel-2 Image Time Series