20111115 india: Mining near Vaishno Devi shrine gets nod