Axiomatic design of smart local energy systems