A Tool for Pre-Operational Daily Mapping of Floods and Permanent Water Using Sentinel-1 Data