Physics-guided Machine Learning in Air Traffic Flow Prediction and Optimization