Up to snuff: Columbus makes smoking ban official