NBC: Texas executes man for slaying of real estate agent in a Dallas-area model home