Fewer smokers means less tax revenue