MANGOret: An optimization framework for the long-term investment planning of building multi-energy system and envelope retrofits. (15th May 2022)