An Incentive-Compatible Energy Trading Framework for Neighborhood Area Networks With Shared Energy Storage | Synapse