an area in a public place, such as hotels, restaurants, or offices, that people can use to smoke in