Rigorous analysis of Pareto fronts in sustainability studies based on bilevel optimization: Application to the redesign of the UK electricity mix | Publicación