Design of a Carbon Tax