Optimal scheduling modelling for wind power accommodation with compressed air energy storage and price-based demand response