Knowledge-enhanced deep reinforcement learning for intelligent event-based load shedding. (June 2023)