Household energy management using the Energy Butler