Police: Dallas-area mall shooting left 9 dead, others injured