Efficient contract and regulation design for district energy systems using multi-agent modeling | Synapse