Columbus residents approve smoking ban