Implementing a US carbon tax