Texas executes Anthony Allen Shore