A stochastic model of smoking behavior under a cessation program