Optimal Coordination of All‐Electric Buildings for Providing Energy Flexibility and Frequency Regulation Services in Electricity Markets (IET Smart Grid, 2026)