Decentralized heating grid operation: A comparison of centralized and agent-based optimization. (March 2020)