Operational SAR Shoreline Extraction Using Deep Learning