Power systems expansion planning with time-varying CO2 tax. (September 2020)