Mathematical ILP modeling for the optimization of the energy saving in the residential buildings sector