Designing a Carbon Tax to Reduce U.S. Greenhouse Gas Emissions