In Texas, appellate court judges are elected, but the governor appoints all district court judges to six-year terms. What is the process for selecting appellate court judges in Texas?