NBC: Texas executes man for killing pregnant ex-girlfriend and her 7-year-old son