Optimizing home energy management systems: A mixed integer linear programming model considering battery cycle degradation | Synapse