Are directional lanterns required on a passenger elevator in Ohio?