The residential demand for electricity by time-of-use: A survey of twelve experiments with peak load pricing☆