隻會三斧子半的​程咬金​究竟在歷史上是什麼形象