Petrobras' sustainable aviation fuel application tokenizes environmental attributes into digital tokens that can be minted, transferred, and retired to prevent the same emissions reduction from being claimed twice