A linear programming model for reducing system peak through customer load control programs | Synapse