A comparison of different methodologies in a case study of residential time-of-use electricity pricing