Towards Dynamic Graph Neural Networks with Provably High-Order Expressive Power