what is the jurisdiction of the ohio state highway patrol