Emissions control via carbon policies and microgrid generation: A bilevel model and Pareto analysis. (October 2015)