Effects of smoking and stopping smoking on serum high-density lipoprotein cholesterol levels in a representative population sample