八仙过海中的“八仙”，根本不是虚构出来的人物，历史上确有其人