The double dividend, second-best worlds, and real-world environmental policy