A probabilistic framework for effective battery energy storage sizing in microgrids with demand response | Synapse