Long-run welfare under externalities in consumption, leisure, and production: A case for happy degrowth vs. unhappy growth