Texas executes man for slaying of Dallas real estate agent