Peak shaving through real-time scheduling of household appliances