A methodology for quantitative and cooperative decision making of air mobility operational solutions