Real-time monitoring of the flooding in the city of Venice