Greg Mankiw's Blog on a Revenue-Neutral Carbon Tax