Sufficiency and duality in a multi-objective bilevel programming model | Synapse