Agricultural population urbanization, long-run economic growth, and metropolitan electricity consumption: An empirical dynamic general equilibrium model. (July 2020)