How many people smoke in the U.S.?