Smarter and Cleaner: The Digital Economy and Environmental Pollution