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