Choosing environmental policy instruments using general equilibrium models