Republic of Ireland's indoor workplace smoking ban.