Digitalization and environment governance: does internet development reduce environmental pollution?