Flood simulation and verification with IoT sensors