An integer linear programming and game theory based optimization for demand-side management in smart grid | Synapse