9 people injured in Vaishno Devi stampede discharged from hospital