В Техасе казнен грабитель, расстрелявший заложников в магазине