A cidade brasileira que usa tecnologia de sensores para ajudar a prever enchentes e otimizar trânsito