A dynamic model to optimize municipal electric power systems by considering carbon emission trading under uncertainty. (August 2015)