Is a bus driver permitted to smoke while driving?