Analysis of energy systems for poly-generation using optimization modelling: the optimization process strategies and the formalization of an innovative multi-objective optimization model