who serves as the president of the senate in the texas legislature