Mitigating flash flooding in the city: Drain or harvest? | Synapse