The European Air Traffic Flow Management Problem