A methodology for probabilistic aircraft technology assessment and selection under uncertainty