Modeling, Simulation, And Optimization Of Advanced Air Traffic Procedures To Improve Oceanic Flights