Which of the following best describes capital punishment in Texas?