Towards Expressive Graph Neural Networks: Theory, Algorithms, and Applications