Carbon Credit Optimization Through AI: Can Machine Learning Make Carbon Trading More Effective? | Synapse