Editorial: Ireland's workplace smoking ban