Game-Theoretic Energy Management for Residential Users with Dischargeable Plug-in Electric Vehicles | Synapse