Development and Validation of an Improved 5-DOF Aircraft Dynamic Model for Air Traffic Control Simulation