Texas executes Mexican-born killer despite international appeals