Carbon taxes in theory and practice