Trustful double auction design for Peer-to-Peer energy trading between interconnected micro-grids with supply–demand imbalance | Synapse