who is the president of the ohio senate