Market-Based Energy Management Model of a Building Microgrid Considering Battery Degradation | Synapse