A compositional modeling framework for the optimal energy management of a district network. (February 2019)