Texas officials identify victims killed in Dallas-area mall shooting including 3-year-old boy, 2 grade-school girls