Interpreting Temporal Graph Neural Networks with Koopman Theory