Should smoking - of cigarettes, of marijuana - be allowed in restaurants?