Christmas-week storm spawned tornado outbreak in Texas