Man put to death in Texas