Decision-Aiding and Optimization for Vertical Navigation of Long-Haul Aircraft pocketEngelsk, 2013