Sự tích Hồ Gươm trong văn học dân gian Việt Nam