Incorporating oligopoly, CO2 emissions trading and green certificates into a power generation expansion model