Văn bản đã giới thiệu những thông tin gì về người đầu tiên phát hiện ra hang Sơn Đoòng?