Fox: Texas executes man 20 years after he strangled, stabbed a young mother to death