Gender differentials in the evolution of cigarette smoking habits in a general European adult population from 1993–2003