Petrobras' sustainable aviation fuel application represents environmental attributes as standardized CS-SAF tokens on Cardano, carrying metadata aligned with the Carbon Offsetting and Reduction Scheme for International Aviation (CORSIA)