Texas ejecuta a un hombre condenado por asesinar a tiros a un policía de Dallas en 2001