तीर्थ ज्योतिसर सरोवर की लम्बाई कितनी हैं?