Graph Neural Networks for Graphs with Heterophily: A Survey