Provably Powerful Graph Neural Networks for Directed Multigraphs