The effects of CO2-differentiated vehicle tax systems on car choice, CO2 emissions and tax revenues