Modeling Technology Choice under Alternative CO2 Policies