Texas Resumes Brisk Death Penalty Schedule, Including Execution of Mentally Retarded Man