Do smokers need more sleep than non-smokers?