八仙过海是民间故事吗