who serves as the president of texas's senate