Labeling Trick: A Theory of Using Graph Neural Networks for Multi-Node Representation Learning