NBC: 9-year-old girl survives shark attack in Florida