The president of the Texas senate is the