An empirical study of the impact of environmental regulation on the eco-efficiency of digital agriculture: a quasi-natural experiment based on China’s carbon emissions trading pilot policy | Synapse