Lessons from residential electricity demand analysis on the time of use pricing experiment in South Korea