Digital Monitoring, Reporting, and Verification Systems and Their Application in Future Carbon Markets