Intelligent sequence adjusting algorithm based on general satisfaction function for air traffic arrival flow management.