Feasibility of Grid Flexibility Provision Using Heat Pump Water Heaters Under Midnight Power Services: A Case of South Korea | IEEE Journals & Magazine | IEEE Xplore