Superposition of urban development models and green low carbon development: Empirical study on collaborative emission reduction of smart city and low-carbon city