A Graph Neural Network with Negative Message Passing for Graph Coloring