Graph Neural Networks for temporal graphs: State of the art, open challenges, and opportunities