A methodology to engineer government incentive design for subsidized air transportation