PIGAT: Physics-Informed Graph Attention Transformer for Air Traffic State Prediction | Synapse