Texas executou homem condenado por estrangular criança e duas adolescentes