请解释一下「济公斗八仙」这个词的含义。