Man executed in Texas for killing estranged wife’s family