Integrating Demand Flexibility In Power System Markets