Texas execution tied to 'shaken baby syndrome' death halted