A Dynamic Computable General Equilibrium Analysis of Environmental Taxation and Rural-Urban Migration Distortions in China