Olmsted County board OKs workplace smoking ban