The Interaction between Carbon Taxes and Carbon Offset Programs