The Supreme Court did not ban the Gyanvapi survey