Almost 4,000 lives have been saved in Ireland since the introduction nine years ago of a ban on smoking in the workplace, a study claims.