The São Paulo city government will use a blockchain registry for public works information