ERDS: an Extreme Rainfall Detection System Based on Both near Real-Time and Forecast Rainfall Measurements