district judge pay texas