Applications of Artificial Intelligence in Carbon Credit Auditing