Pedro Peracio, Chief Digital Officer à la Mairie de Rio de Janeiro