Temporal Graph Functional Dependencies [Extended Version]