A Game-Theoretic Approach to Energy Trading in the Smart Grid | Synapse