Tiroteo en centro comercial en Texas deja nueve muertos; atacante fue abatido